Building a Debugger • Sy Brand & Tim Misiak
buzzsprout.com·11h·
Discuss: r/programming
👁️System Observability
Everything you need to know about monorepos, and the tools to build them
monorepo.tools·5h·
Discuss: Hacker News
🔄Reproducible Builds
How to Fix Performance Issues Error Monitoring Can’t See
thenewstack.io·1h
👁️System Observability
Evals in the Age of Jarvis
lesswrong.com·21h
🎮Verification Games
A Developer's Guide to Negative API Testing
blog.dochia.dev·6h·
💎Refinement Types
Garbage Collection (GC) Pauses: A "stop-the-world" GC pause in a critical service
howtech.substack.com·23h·
Discuss: r/programming
👁️System Observability
Towards Robust Agentic CUDA Kernel Benchmarking, Verification, and Optimization
arxiv.org·3d
💎Refinement Types
Effect Systems vs. Print Debugging: A Pragmatic Solution
blog.flix.dev·1d·
Discuss: Hacker News
🔬Static Analysis
MLOps Fundamentals: 6 Principles That Define Modern ML Operations (from the author of LLM Engineering Handbook)
javarevisited.substack.com·2d·
Discuss: r/programming
🔄Reproducible Builds
Sneaky Code Bites Back
architecture-weekly.com·6h·
Discuss: r/programming
💎Refinement Types
Tips for Working with Legacy Code
esveo.com·4h·
🔬Static Analysis
Method Tracing in Async-Profiler
github.com·3d·
Discuss: Hacker News
👁️System Observability
Hacking with AI SASTs: An Overview of 'AI Security Engineers' / 'LLM Security S
joshua.hu·1d·
🛡️seL4
Fail loudly: a plea to stop hiding bugs
alejo.ch·2d·
Discuss: r/programming
🔍Formal Verification
My experience with AI as a front end developer
frontendundefined.com·10h·
Discuss: Hacker News
💎Refinement Types
Show HN: Ida Swarm – Multi-agent AI system for automated reverse engineering
github.com·12h·
Discuss: Hacker News
🛡️seL4
Replay - Time Travel Browser DevTools
replay.io·2d·
Discuss: Hacker News
👁️System Observability
Transforming Recursion into Iteration for LLVM Loop Optimizations
dspace.mit.edu·23h·
Discuss: Hacker News
⚙️PL Implementation
Biconnected components
emi-h.com·19h·
Discuss: Hacker News
🧮Lambda Calculus